a(1).
a(2).
b(3).
b(4).


f(X):- a(X).
f(X):- b(X).